-
nounany logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Similar:
type of:
Explanation of symbolic logic
We don`t have explanations for this word yet.